home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / noweb / contrib / kostas / icontrans.nw (.txt) < prev    next >
LaTeX Document  |  1995-02-24  |  6KB  |  137 lines
  1. \section {The Icon Translation Table}
  2. This file defines translations into \TeX\ code for reserved words, and keywords of Icon.
  3. It also defines translations for special tokens, such as [[<=]].
  4. <<The [[translation]] table>>=
  5. <<Initialization>>
  6. <<Reserved words>>
  7. <<Icon keywords>>
  8. <<Added in Version 8.10>>
  9. <<Translator directives (V8.10)>>
  10. <<Translations for operators, and other good stuff>>
  11. <<Initialization>>=
  12. translation := table() # Initialize the translation table to contain nulls.
  13. <<Reserved words>>=
  14. translation["by"] := "{\\Cb{}by}"
  15. translation["break"] := "{\\Cb{}break}"
  16. translation["case"] := "{\\Cb{}case}"
  17. translation["create"] := "{\\Cb{}create}"
  18. translation["default"] := "{\\Cb{}default}"
  19. translation["do"] := "{\\Cb{}do}"
  20. translation["else"] := "{\\Cb{}else}"
  21. translation["end"] := "{\\Cb{}end}"
  22. translation["every"] := "{\\Cb{}every}"
  23. translation["global"] := "{\\Cb{}global}"
  24. translation["fail"] := "{\\Cb{}fail}"
  25. translation["if"] := "{\\Cb{}if}"
  26. translation["initial"] := "{\\Cb{}initial}"
  27. translation["link"] := "{\\Cb{}link}"
  28. translation["local"] := "{\\Cb{}local}"
  29. translation["next"] := "{\\Cb{}next}"
  30. translation["not"] := "{\\Cb{}not}"
  31. translation["of"] := "{\\Cb{}of}"
  32. translation["procedure"] := "{\\Cb{}procedure}"
  33. translation["record"] := "{\\Cb{}record}"
  34. translation["repeat"] := "{\\Cb{}repeat}"
  35. translation["return"] := "{\\Cb{}return}"
  36. translation["static"] := "{\\Cb{}static}"
  37. translation["suspend"] := "{\\Cb{}suspend}"
  38. translation["to"] := "{\\Cb{}to}"
  39. translation["then"] := "{\\Cb{}then}"
  40. translation["while"] := "{\\Cb{}while}"
  41. translation["until"] := "{\\Cb{}until}"
  42. <<Icon keywords>>=
  43. translation["&ascii"] := "{\\Cb{}&ascii}"
  44. translation["&clock"] := "{\\Cb{}\&clock}"
  45. translation["&collections"] := "{\\Cb{}\&collections}"
  46. translation["&cset"] := "{\\Cb{}\&cset}"
  47. translation["¤t"] := "{\\Cb{}\¤t}"
  48. translation["&date"] := "{\\Cb{}\&date}"
  49. translation["&dateline"] := "{\\Cb{}\&dateline}"
  50. translation["&digits"] := "{\\Cb{}\&digits}"
  51. translation["&error"] := "{\\Cb{}\&error}"
  52. translation["&errornumber"] := "{\\Cb{}\&errornumber}"
  53. translation["&errortext"] := "{\\Cb{}\&errortext}"
  54. translation["&errorvalue"] := "{\\Cb{}\&errorvalue}"
  55. translation["&errout"] := "{\\Cb{}\&errout}"
  56. translation["&fail"] := "{\\Cb{}\&fail}"
  57. translation["&features"] := "{\\Cb{}\&features}"
  58. translation["&file"] := "{\\Cb{}\&file}"
  59. translation["&host"] := "{\\Cb{}\&host}"
  60. translation["&input"] := "{\\Cb{}\&input}"
  61. translation["&lcase"] := "{\\Cb{}\&lcase}"
  62. translation["&letters"] := "{\\Cb{}\&letters}"
  63. translation["&level"] := "{\\Cb{}\&level}"
  64. translation["&line"] := "{\\Cb{}\&line}"
  65. translation["&main"] := "{\\Cb{}\&main}"
  66. translation["&null"] := "{\\Cb{}\&null}"
  67. translation["&output"] := "{\\Cb{}\&output}"
  68. translation["&pos"] := "{\\Cb{}\&pos}"
  69. translation["&random"] := "{\\Cb{}\&random}"
  70. translation["®ions"] := "{\\Cb{}\®ions}"
  71. translation["&source"] := "{\\Cb{}\&source}"
  72. translation["&storage"] := "{\\Cb{}\&storage}"
  73. translation["&subject"] := "{\\Cb{}\&subject}"
  74. translation["&time"] := "{\\Cb{}\&time}"
  75. translation["&trace"] := "{\\Cb{}\&trace}"
  76. translation["&ucase"] := "{\\Cb{}\&ucase}"
  77. translation["&version"] := "{\\Cb{}\&version}"
  78. <<Added in Version 8.10>>=
  79. translation["&allocated"] := "{\\Cb{}\&allocated}"
  80. translation["&e"] := "{\\Cb{}\&e}"
  81. translation["&phi"] := "{\\Cb{}\&phi}"
  82. translation["&pi"] := "{\\Cb{}\&pi}"
  83. translation["&progname"] := "{\\Cb{}\&progname}"
  84. <<Added by the X interface>>=
  85. translation["&col"] := "{\\Cb{}\&col}"
  86. translation["&control"] := "{\\Cb{}\&control}"
  87. translation["&interval"] := "{\\Cb{}\&interval}"
  88. translation["&ldrag"] := "{\\Cb{}\&ldrag}"
  89. translation["&lpress"] := "{\\Cb{}\&lpress}"
  90. translation["&lrelease"] := "{\\Cb{}\&lrelease}"
  91. translation["&mdrag"] := "{\\Cb{}\&mdrag}"
  92. translation["&meta"] := "{\\Cb{}\&meta}"
  93. translation["&mpress"] := "{\\Cb{}\&mpress}"
  94. translation["&mrelease"] := "{\\Cb{}\&mrelease}"
  95. translation["&resize"] := "{\\Cb{}\&resize}"
  96. translation["&rdrag"] := "{\\Cb{}\&rdrag}"
  97. translation["&row"] := "{\\Cb{}\&row}"
  98. translation["&rpress"] := "{\\Cb{}\&rpress}"
  99. translation["&rrelease"] := "{\\Cb{}\&rrelease}"
  100. translation["&shift"] := "{\\Cb{}\&shift}"
  101. translation["&window"] := "{\\Cb{}\&window}"
  102. translation["&x"] := "{\\Cb{}\&x}"
  103. translation["&y"] := "{\\Cb{}\&y}"
  104. <<Translator directives (V8.10)>>=
  105. translation["$include"] := "{\\Cb{}\\$include}"
  106. translation["$line"] := "{\\Cb\\$line}"
  107. translation["$define"] := "{\\Cb\\$define}"
  108. translation["$undef"] := "{\\Cb\\$undef}"
  109. translation["$ifdef"] := "{\\Cb\\$ifdef}"
  110. translation["$ifndef"] := "{\\Cb\\$ifndef}"
  111. translation["$else"] := "{\\Cb\\$else}"
  112. translation["$endif"] := "{\\Cb\\$endif}"
  113. <<Translations for operators, and other good stuff>>=
  114. translation["{"] := "\\mbox{\\boldmath$\\{$}"
  115. translation["}"] := "\\mbox{\\boldmath$\\}$}"
  116. translation["\\"] := "\\char'134"
  117. translation["<"] := "$<$"
  118. translation[">"] := "$>$"
  119. translation["<="] := "$\\le$"
  120. translation[">="] := "$\\ge$"
  121. translation["~="] := "$\\neq$"
  122. translation["++"] := "$\\cup$"
  123. translation["**"] := "$\\cap$"
  124. translation["--"] := "$\\setminus$"
  125. translation["&"] := "$\\land$"
  126. translation[">>"] := "$\\succ$"
  127. translation["<<"] := "$\\prec$"
  128. translation["||"] := "$\\Vert$"
  129. translation[">>="] := "$\\succeq$"
  130. translation["<<="] := "$\\preceq$"
  131. translation["=="] := "$=$"
  132. translation["~=="] := "$\\neq$"
  133. translation["==="] := "$\\equiv$"
  134. translation["~==="] := "$\\not\\equiv$"
  135. translation[":=:"] := "$\\leftrightarrow$"
  136. translation["<->"] := "$\\leftrightarrow$"
  137.